"Ron van der Meyden" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Model Checking and Artificial Intelligence - MoChArt 2010

Ron van der Meyden, Jan Smaus

1.59 Mb

#2

Deontic Logic in Computer Science: 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008, Proceedings

Ron van der Meyden, Leendert van der Torre

2.99 Mb